Research in Computing Science, Vol. 113, pp. 147-156, 2016.
PDF: Modelado y análisis formal de jugadas del fútbol PDF: Modelado y análisis formal de jugadas del fútbol